• 已选条件：
  • × synthesis
 全选  【符合条件的数据共：32条】

1 Formal methods for safe autonomy: Data-driven verification, synthesis, and applications [学位论文]

作者:Fan, Chuchu   

论文开放时间:2019

关键词:Autonomous systems;formal methods;...

培养单位:

预览  |  原文链接  |  全文  [ 浏览：1 下载：0  ]    

2 ClaferMPS: Modeling and Optimizing Automotive Electric/Electronic Architectures Using Domain-Specific Languages [学位论文]

作者:Khalilov, Eldar   

论文开放时间:2017

关键词:architecture;modeling;...

培养单位:University of Waterloo

预览  |  原文链接  |  全文  [ 浏览：14 下载：6  ]    

3 Synthesis-enabled understanding of the mechanism of action of amphotericin B and the development of increased therapeutic derivatives [学位论文]

作者:Endo, Matthew Masashi, Burke, Martin D.   

论文开放时间:2016

关键词:antifungal;antibiotic;...

培养单位:

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]    

4 Synthesis, characterization, and electronic properties of novel 2D materials : transition metal dichalcogenides and phosphorene. [学位论文]

作者:George Anderson   

论文开放时间:2016

关键词:monolayer;semiconductor;...

培养单位:University:University of Louisville

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]    

5 New directions in time-resolved neutron diffraction: probing high power microwave materials synthesis in situ [学位论文]

作者:Boscaino, Annalisa, Gregory, Duncan   

论文开放时间:2015

关键词:Microwave;synthesis,;...

培养单位:University:University of Glasgow

预览  |  原文链接  |  全文  [ 浏览：1 下载：0  ]    

6 Synthesis and microstructural characterization of phosphate cathode materials prepared by a polymeric steric entrapment precursor route [学位论文]

作者:Ribero Rodriguez, Daniel, Kriven, Waltraud M.   

论文开放时间:2015

关键词:synthesis;low temperature;...

培养单位:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]